Feature-interaction detection based on feature-based specifications
نویسندگان
چکیده
منابع مشابه
Feature-interaction detection based on feature-based specifications
Formal specification and verification techniques have been used successfully to detect feature interactions. We investigate whether feature-based specifications can be used for this task. Feature-based specifications are a special class of specifications that aim at modularity in open-world, feature-oriented systems. The question we address is whether modularity of specifications impairs the ab...
متن کاملFeature Interaction Detection Technique Based on Feature Assumptions
We present an approach for the detection of feature interactions. It is based on two concepts: Call-Context Model (CCM) and Feature Context Assumptions (FCA). CCM specifies the possible call-connection(s) related to the feature and FCA summarizes the “important” assumptions about the feature environment. By analyzing the CCM-FCAs of two or more given features, we determine the existence or abse...
متن کاملValidating feature-based specifications
It is argued that specifications should be rigorously validated against requirements. This is useful to build confidence in a specification, and to check a specification after it or the requirements have changed. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is introduced as a means of formulating and formalising validation scenarios. The practical use of MUSTARD on a number of c...
متن کاملFeature-based Human Face Detection Feature-based Human Face Detection
Human face detection has always been an important problem for face, expression and gesture recognition. Though numerous attempts have been made to detect and localize faces, these approaches have made assumptions that restrict their extension to more general cases. We identify that the key factor in a generic and robust system is that of using a large amount of image evidence, related and reinf...
متن کاملFPGA-Based Feature Detection
Fast, accurate, autonomous robot navigation is essential for landing and roving on planets. For landing, particularly, computing speed matters. Navigation algorithms calculate feature descriptors in stereo pairs as the basis of visual odometry and obstacle avoidance. Feature detection is understood, but requires hundred-fold speed-up which is not achievable on conventional lander and rover comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Networks
سال: 2013
ISSN: 1389-1286
DOI: 10.1016/j.comnet.2013.02.025